Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
911	2008 Paper 2 Question 4 Discrete Mathematics Let I be a non-empty subset of the natural numbers N = {1, 2, 3, · · ·}. The set S is defined to be least subset of N such that I ⊆ S, and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:23 Mathematical induction Proof theory Greatest common divisor Divisor Summation Mathematics Mathematical logic Inductive reasoning
912	Math 3003W - Transition to Advanced Math Spring 2009 Instructor: Location: Time: Office: Office Hours: Add to Reading List Source URL: www.westga.edu Language: English - Date: 2012-02-20 07:47:29 Mathematical logic Philosophy of mathematics Abstraction Axiology Mathematical proof Mathematics Homework Academic dishonesty Final examination Education Knowledge Logic
913	A language for mathematical knowledge management Steven Kieffer1 , Jeremy Avigad2 , and Harvey Friedman3? 1 2 Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2008-05-06 09:00:00 Model theory Functions and mappings Function First-order logic New Foundations Interpretation Mathematical proof Structure Type theory Mathematics Mathematical logic Logic
914	Progress in the Development of Automated Theorem Proving for Higher-order Logic? Geoff Sutcliffe1 , Christoph Benzm¨ uller2 , 3 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:30 Logic Geoff Sutcliffe CADE ATP System Competition TPTP Vampire Automated reasoning First-order logic Proof assistant Logic programming Automated theorem proving Mathematical logic Theoretical computer science
915	Because Hitler did it! Quantitative tests of Bayesian argumentation using Ad Hominem Adam J. L. Harris, Anne S. Hsu, and Jens K. Madsen University College London, UK Add to Reading List Source URL: ahsu.psychol.ucl.ac.uk Language: English - Date: 2012-01-09 14:22:41 Genetic fallacies Thought Rhetoric Debating Reductio ad Hitlerum Bayesian probability Ad hominem Argumentation theory Mathematical proof Critical thinking Arguments Logic
916	LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic⋆ Christoph Benzm¨ uller1 , Lawrence C. Paulson2 , Frank Theiss1 , and Arnaud Fietzke3 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:27 Automated theorem proving Vampire Resolution First-order logic Term indexing Unification FO Proof assistant Isabelle Logic Mathematics Mathematical logic
917	11 The KAM Theorem John H. Hubbard Department of Mathematics, Cornell University, Ithaca, NY, USA http://www.math.cornell.edu/People/Faculty/hubbard.html [removed] Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2008-09-22 20:24:16 Mathematical logic Logical syntax Philosophical logic Philosophy of language Theorems Kolmogorov–Arnold–Moser theorem Andrey Kolmogorov Mathematical proof Kam Mathematics Logic Science
918	Computer Systems Performance Analysis and Benchmarking[removed]Proof for Allocation of Variation Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2002-01-23 16:25:46 Strategic management Mathematics Simulation Mathematical modeling Benchmarking Benchmark Stricker Scientific modelling Mathematical model Science Scientific modeling Ethology
919	A variant of the double-negation translation∗ Jeremy Avigad August 21, 2006 Abstract An efficient variant of the double-negation translation explains the Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2006-10-02 14:57:52 Model theory Formal languages Semantics Proof theory Dialectica interpretation Interpretation Intuitionistic logic First-order logic Well-formed formula Logic Mathematical logic Intuitionism
920	Lurch: A Word Processor that Can Grade Students’ Proofs Nathan C. Carter1 and Kenneth G. Monks2 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 02:03:08 Cross-platform software Functional languages Markup languages Mathematical markup languages Mathematical logic LURCH Mathematics OpenMath Mathematical proof Software Computing Mathematical software

UPDATE